Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE

Source URL: rodin.cs.ncl.ac.uk

• Computing
• Systems science
• Engineering
• Multi-agent systems
• Artificial intelligence
• Complex systems theory
• Simulation
• Ambient calculus
• Process calculi
• Agent-based model
• Ambient intelligence
• Software agent

In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002

Source URL: www.wischik.com

• Process calculi
• Theoretical computer science
• Mathematics
• Software engineering
• Formal methods
• -calculus
• Join-calculus
• Lambda calculus
• Ambient calculus
• Inverse trigonometric functions
• Calculus
• Join-pattern

Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem∗ Jessie Dedecker∗ Stijn Mostinckx† Elisa Gonzalez Theo D’Hondt Wolfgang De Meuter Programming Technology Lab Vrije Universiteit Brussel –

Source URL: soft.vub.ac.be

• Computing
• Software engineering
• Computer programming
• Distributed computing architecture
• Ambient intelligence
• Ambient calculus
• AmbientTalk
• Actor model
• Message passing
• Distributed object
• Text messaging

Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem ∗ Elisa Gonzalez Jessie Dedecker ∗ Stijn Mostinckx †

Source URL: soft.vub.ac.be

• Distributed computing architecture
• Process calculi
• Inter-process communication
• Ambient calculus
• Ambient intelligence
• Message passing
• Actor model
• Short Message Service
• Distributed object
• Multi-factor authentication

Ambient Groups and Mobility Types Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the

Source URL: www.di.unipi.it

Microsoft Word - WP06-D19.06-final.doc

Source URL: sesame.geopsy.org

• Mechanics
• Ambient Vibrations
• Wavelength
• Wave
• Dispersion
• Phase velocity
• Autocorrelation
• Multiple signal classification
• Wave mechanics
• Physics
• Calculus

Inaccessible Augmentations: Ambient Displays’ Two Sides of Space Tasos Varoudis Abstract

Source URL: www.cs.tut.fi

• Environmental psychology
• Architecture
• Ambient music
• Urban design
• Virtual reality
• Reality
• Space syntax
• Ambient calculus
• Geography
• User interface techniques
• Ambient intelligence
• Architectural theory

Electronic Notes in Theoretical Computer Science 66 NoURL: http://www.elsevier.nl/locate/entcs/volume66.html 31 pages Information Flow Security in Boxed Ambients Silvia Crafa1 Michele Bugliesi 1 Dipartimento d

Source URL: www.dsi.unive.it

• Process calculi
• Ambient calculus
• Models of computation
• Deduction
• Theoretical computer science
• Propositional calculus
• Entailment
• Process calculus
• Valuation
• Logic
• Abstract algebra
• Mathematics

Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia

Source URL: www.dsi.unive.it

• Mathematics
• Computer science
• Ambient calculus
• Π-calculus
• Bisimulation
• Lambda calculus
• Mobile Membranes
• Theoretical computer science
• Process calculi
• Applied mathematics

Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat

Source URL: www.dsi.unive.it

• Ambient calculus
• Mathematics
• Computer science
• Π-calculus
• Lambda calculus
• Mobile Membranes
• Process calculi
• Theoretical computer science
• Applied mathematics